chain\_master() $\in$ Type